
void main()
{
  /* Do nothing */
}
